Section: New Results
Formal study of Voronoi diagrams and Fortune's algorithm
Participants : Ahmed Khulaif A Alharbi, Yves Bertot.
Voronoi diagrams are an example of data that can be used to solve problems in robot motion planning. In this experiment, we provided a formal description of Fortune's algorithm to compute such diagrams, together with a framework to animate this algorithm. Formal proofs of correctness will be the next step.